1. Mathematics mechanization and applications
Author: edited by Xiao-Shan Gao and Dongming Wang
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Equations, Numerical solutions, Data processing,Automatic theorem proving
Classification :
{
1648
},
58f5cd92ab378d5ba32c2e983504bc9f
